7,252 research outputs found
Semantics-based Automated Web Testing
We present TAO, a software testing tool performing automated test and oracle
generation based on a semantic approach. TAO entangles grammar-based test
generation with automated semantics evaluation using a denotational semantics
framework. We show how TAO can be incorporated with the Selenium automation
tool for automated web testing, and how TAO can be further extended to support
automated delta debugging, where a failing web test script can be
systematically reduced based on grammar-directed strategies. A real-life
parking website is adopted throughout the paper to demonstrate the effectivity
of our semantics-based web testing approach.Comment: In Proceedings WWV 2015, arXiv:1508.0338
Enhanced spin injection efficiency in a four-terminal double quantum dot system
Within the scheme of quantum rate equations, we investigate the spin-resolved
transport through a double quantum dot system with four ferromagnetic
terminals. It is found that the injection efficiency of spin-polarized
electrons can be significantly improved compared with single dot case. When the
magnetization in one of four ferromagnetic terminals is antiparallel with the
other three, the polarization rate of the current through one dot can be
greatly enhanced, accompanied by the drastic decrease of the current
polarization rate through the other one. The mechanism is the exchange
interaction between electrons in the two quantum dots, which can be a promising
candidate for the improvement of the spin injection efficiency.Comment: 10 pages and 5 figure
- …